Constant Reduced Decision Diagram in Meddly
نویسنده
چکیده
منابع مشابه
GreatSPN Enhanced with Decision Diagram Data Structures
Decision diagrams (DDs) have made their way into Petri net (PN) tools either in the form of new tools (usually designed from scratch to use DDs) or as enhancements to existing tools. This paper describes how an existing and established tool (GreatSPN) has been enhanced through the use of DDs provided by an existing open-source library (Meddly). We benchmark the enhanced tool and discuss lessons...
متن کاملAn Improved Algorithm for Network Reliability Evaluation
Binary Decision Diagram (BDD) is a data structure proved to be compact in representation and efficient in manipulation of Boolean formulas. Using Binary decision diagram in network reliability analysis has already been investigated by some researchers. In this paper we show how an exact algorithm for network reliability can be improved and implemented efficiently by using CUDD - Colorado Univer...
متن کاملBounds on the Sizes of Decision Diagrams
Known upper bounds on the number of required nodes (size) in the ordered binary and multiple-valued decision diagram (DD) for representation of logic functions are reviewed and reduced by a small constant factor. New upper bounds are derived for partial logic functions containing don't cares and also for complete Boolean functions specified by Boolean expressions. The evaluation of upper bounds...
متن کاملReview the phenomenon of dust and study of effective winds on it (Case Study: Bandar Abbas, Hormozgan province)
Dust storms and high winds is a natural process that occurs in everywhere of arid and semi-arid land in the world. The phenomenon of dust is one of the most important consequences of the desertification that cause different damages. The aim of this study was to analyze the occurrence of dust in the city of Bandar Abbas. First, the frequency of monthly and annual dust from 1985-2005, in the city...
متن کاملInvestigating the Properties of an Optical Waveguide Based on Photonic Crystal with Point Defect and Lattice Constant Perturbation
In this paper, a photonic crystal waveguide with point defects and lattice constant perturbations of +5%, -5% are being investigated. Firstly waveguide structures with constant and specific parameters are being studied and photonic band gap diagrams for TE/TM modes are depicted; then pulse propagation in the frequencies available in the band gap are shown. After that, effects of parameters like...
متن کامل